Verifying formula 1 at line 6
 -- Formula is satisfied.
 -- States stored : 61 states
 -- States explored : 61 states
 -- CPU user time used : 0 ms
 -- Virtual memory used : 40932 KiB
 -- Resident memory used : 3740 KiB